Pokročilá typová inference: Orientace ve složitých scénářích inferencí | MLOG | MLOG